a Theory - PDFSEARCH.IO - Document Search Engine

a Theory
Results: 34070

#	Item
761	INTERSECTED LOW-DENSITY PARITY-CHECK AND CONVOLUTIONAL CODES Edward A. Ratzer Cavendish Laboratory, University of Cambridge, Cambridge Key words to describe this work: Low-density parity-check (LDPC) codes, convolutional Add to Reading List Source URL: www.inference.phy.cam.ac.uk Language: English - Date: 2003-03-06 10:25:56 Error detection and correction Coding theory Information theory Discrete mathematics Information Low-density parity-check code Convolutional code Forward error correction EXIT chart Turbo code Concatenated error correction code ReedSolomon error correction
762	Characteristic Formulae for Session Types Julien Lange and Nobuko Yoshida Imperial College London Abstract. Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language i Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2016-08-22 17:55:56 Software engineering Computability theory Object-oriented programming Polymorphism Subtyping Type theory Theoretical computer science Characteristic function Lambda calculus Computing
763	I N F S Y S R E S E A R C H R Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2007-04-14 17:36:30 Artificial intelligence Logic programming Academia Decision theory Game theory Non-cooperative games Situation calculus Nash equilibrium Zero-sum game Markov decision process Strategy Mathematical optimization
764	From SIAM News, Volume 37, Number 4, May 2004 The Mathematics of Networks Understanding Large-Scale Social and Infrastructure Networks: A Simulation-Based Approach By Christopher L. Barrett, Stephen Eubank, V.S. Anil Kum Add to Reading List Source URL: www.mathaware.org Language: English - Date: 2007-01-04 14:13:25 Academia Wireless networking Network theory Mathematics Complex systems theory Systems theory Community building Wireless ad hoc network Mobile ad hoc network Complex network Spatial network Social network
765	Reorder.js: A JavaScript Library to Reorder Tables and Networks Jean-Daniel Fekete To cite this version: Jean-Daniel Fekete. Reorder.js: A JavaScript Library to Reorder Tables and Networks. IEEE Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2016-06-14 10:44:46 Graph theory Mathematics Graph drawing Adjacency matrix Bipartite graph Graph Matrix Neighbourhood Lexicographic breadth-first search Planar separator theorem
766	Microsoft Worddoc Add to Reading List Source URL: publik.tuwien.ac.at Language: English - Date: 2008-08-01 06:21:03 Mathematics Routing algorithms Edsger W. Dijkstra Graph theory Applied mathematics Search algorithms Game artificial intelligence Combinatorial optimization A* search algorithm Shortest path problem Maze Algorithm
767	Designing a verifying compiler: Lessons learned from developing Whiley Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2015-11-05 20:25:54 Software engineering Computer programming Computing Data types Functional languages Type theory Procedural programming languages Whiley C++ Const Recursion Java bytecode
768	MITSUBISHI ELECTRIC RESEARCH LABORATORIES http://www.merl.com Control of Dual-stage Processing Machines by Bounded Tracking-error MPC Di Cairano, S.; Goldsmith, A.M. Add to Reading List Source URL: www.merl.com Language: English - Date: 2016-07-07 10:53:52 Mathematics Control theory Model predictive control Convolution Academia
769	CHAOS 20, 023115 !2010" Recurrence for quenched random Lorentz tubes Giampaolo Cristadoro,1,a! Marco Lenci,1,b! and Marcello Seri1,2,c! 1 Add to Reading List Source URL: www.dm.unibo.it Language: English - Date: 2014-12-04 08:53:11 Mathematical analysis Probability theory Ergodic theory Stochastic processes Dynamical systems Probability Measure-preserving dynamical system Ergodicity Mixing Poincar recurrence theorem Random dynamical system Invariant measure
770	Spectral Graph Theory Lecture 8 Effective Resistance Daniel A. Spielman Add to Reading List Source URL: www.cs.yale.edu Language: English - Date: 2015-08-17 14:43:26 Algebra Mathematics Graph theory Algebraic graph theory Matrices Matrix theory Laplacian matrix Adjacency matrix Matrix Eigenvalues and eigenvectors Incidence matrix Heat equation

UPDATE